COLICA SPASMODICA, FOLLOWED BY INFLAMMATION, TERMINATING FAVOURABLY.

Case of Diffuse Inflammation of the Cellular Substance of the Side, Followed by a Series of Uncommon Symptoms, and Terminating Fatally; with the Appearances on Dissection

Terminating atrial fibrillation by cooling the heart.

Disappointing results of pharmacological therapy in many patients with atrial fibrillation (AF) have motivated efforts to develop device therapy for this complex electrical disorder. Such devices have focused on mechanisms including ablation of tissue harboring triggers or substrates, mechanical devitalization of the left atrial appendage to provide antiarrhythmic as well as antithrombotic effe...

Termination Analysis by Learning Terminating Programs

We present a novel approach to termination analysis. In a first step, the analysis uses a program as a black-box which exhibits only a finite set of sample traces. Each sample trace is infinite but can be represented by a finite lasso. The analysis can ”learn” a program from a termination proof for the lasso, a program that is terminating by construction. In a second step, the analysis checks t...

Terminating alternator

In this paper, we present an program that enables the transformation of a nonterminating alternator into a terminating alternator. Our solution is stabilization preserving and has the potential to preserve maximal concurrency (if available) provided by the non-terminating alternator. It can also be used to transform a program that is stabilizing in interleaving semantics into a program that is ...

Terminating BKZ

Strong lattice reduction is the key element for most attacks against lattice-based cryptosystems. Between the strongest but impractical HKZ reduction and the weak but fast LLL reduction, there have been several attempts to find efficient trade-offs. Among them, the BKZ algorithm introduced by Schnorr and Euchner [FCT’91] seems to achieve the best time/quality compromise in practice. However, no...